Completeness of an ecthetic syllogistic.

Completeness Theorems for Syllogistic Fragments

Traditional syllogisms involve sentences of the following simple forms: All X are Y , Some X are Y , No X are Y ; similar sentences with proper names as subjects, and identities between names. These sentences come with the natural semantics using subsets of a given universe, and so it is natural to ask about complete proof systems. Logical systems are important in this area due to the prominenc...

An ACT-R Model of Syllogistic Inference

We describe SYLLOG, a model of syllogistic inference, built with in the ACT-R framework. Its construction was guided by data obtained from 88 subjects performing the syllogistic inference task. The model’s inference engine uses the PC inference rule Hypothetical Syllogism (HS) and a set of modal logic transformation rules either to create a representation of the premises that allows an appropri...

Development of syllogistic reasoning.

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

An Application of Constructive Completeness

Extending Syllogistic Reasoning

In this paper syllogistic logic is extended first to full propositional logic, and then an interesting fragment of predicate logic that